kernel_addr_r=0x42000000
fdt_addr_r=0x48000000
fdtoverlay_addr_r=0x49000000
ramdisk_addr_r=0x48080000
scriptaddr=0x40000000
pxefile_addr_r=0x40100000
dfu_alt_info=sf 0:0=flash-bin raw 0x400 0x1f0000
